home *** CD-ROM | disk | FTP | other *** search
/ MacFormat 1995 October / macformat-029.iso / mac / Shareware City / Developers / internet-free-mac-lang-10 / Internet Free MacLang 1.0 / Internet Free MacLang 1.0.rsrc / TEXT_161.txt < prev    next >
Encoding:
Text File  |  1995-07-03  |  5.6 KB  |  181 lines

  1.  
  2.  
  3.                                                 PROLOG
  4.  
  5. Etymology:
  6. PROLOG = PROgramming In LOGic 
  7.  
  8. FAQs:
  9. Jamie Andrews:
  10. ftp://rtfm.mit.edu/pub/usenet/news.answers/prolog/
  11. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.faq.html
  12. http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/faq/faq.html
  13.  
  14. Mark Kantrowitz :
  15. http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
  16. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part1.html
  17. http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part2.html
  18.  
  19.                                                  1. JB-PROLOG
  20.  
  21. Etymology:
  22. JB-PROLOG = Jan Burse's PROLOG
  23.  
  24.  
  25.  
  26. MAC NAME: JB-Prolog                                       
  27.  
  28. VERSION: 2.1#2                                 
  29.  
  30. README:
  31. "JB-Prolog 2.1 is a slim and powerful prolog interpreter. It is currently available for the MacIntosh where it comes with a programming environment described in the User's Manual."
  32.  
  33.  
  34. AUTHORS:
  35. Jan Burse
  36.     
  37. COPYRIGHT:
  38. (c) 1994 XLOG, Jan Burse
  39.  
  40. INTERNET SITES:
  41. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/jbprolog/
  42. ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/
  43.  
  44.  
  45.                                                  2. OPEN PROLOG 
  46.  
  47. MAC NAME: Open Prolog                             
  48.  
  49. VERSION: 1.0d42                                 
  50.  
  51. README:
  52. "Open Prolog is an implementation of Edinburgh-syntax Prolog. ....
  53. Open Prolog supports most of the features of DEC Prolog or C-Prolog, including Definite Clause Grammars. The 'logical' assert and retract semantics of Lindholm & O'Keefe are implemented."
  54.  
  55.  
  56. AUTHORS:
  57.  Michael Brady
  58.     
  59. COPYRIGHT:
  60. (c) 1986-93 Michael Brady
  61.  
  62. INTERNET SITES:
  63. ftp://grattan.cs.tcd.ie/pub/languages/open-prolog/
  64. ftp://grattan.cs.tcd.ie/pub/mac/open-prolog/
  65. ftp://ftp.luth.se/pub/mac/developer/lang/prolog/
  66. http://multivac.ludd.luth.se/pub/mac/developer/lang/prolog/
  67. ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/
  68. ftp://ftp.uni-paderborn.de/mac/development/languages/
  69. ftp://ftp.fu-berlin.de/mac/lang/Prolog/
  70. ftp://pascal.zedat.fu-berlin.de/mac/lang/Prolog/
  71. ftp://ftp.cs.tu-berlin.de/pub/mac/lang/Prolog/
  72. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/op/
  73. Info-Mac
  74. UMich
  75. ftp://ftp.uwtc.washington.edu/pub/Mac/Programming/Languages/
  76.  
  77. Old versions:
  78. ftp://aisun1.ai.uga.edu/pub/prolog/                                              ftp://faui80.informatik.uni-erlangen.de/pub/prolog/ 
  79. ftp://MacFTP.RZ.Uni-Augsburg.DE/pub/programming/                 
  80.  
  81.  
  82.  
  83.                                                  3. MacProlog (Demo) 
  84.                                                      TPM
  85. Etymology:
  86. TPM = Transparent Prolog Machine 
  87.  
  88. MAC NAME: 
  89. MacProlog (Demo)                                      
  90. TPM
  91.  
  92. VERSION: 
  93. MacProlog 3.5 
  94. TPM 1.11                               
  95.  
  96. README:
  97. "The version of MacPROLOG included here is a 1991 demo version.  Being a demo version it has certain restrictions, but these do not affect anything you might need to do for this course."
  98.  
  99. "A clear and consistent execution model of any programming language can lay the foundations not only for a good learning experience, but also for a smoother design/edit/run/debug cycle.  The Transparent Prolog Machine was developed in attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming‚Äôs traditional AND/OR trees."
  100.  
  101. AUTHORS:
  102.  
  103. MacProlog:
  104. LPA
  105.  
  106. TPM:
  107. Marc Eisenstadt 
  108. Mike Brayshaw
  109. mac version:
  110. Fred Kwakkel
  111.     
  112. COPYRIGHT:
  113. LPA MacPROLOG‚Ñ¢  ¬© 1984-1991, Logic Programming Associates, Ltd. (UK)
  114. TPM for Macintosh ¬© 1991, The Open University (UK)
  115.  
  116. INTERNET SITES:
  117. ftp://hcrl.open.ac.uk/pub/software/mac/
  118. ftp://faui80.informatik.uni-erlangen.de/pub/prolog/
  119. ftp://ai.uga.edu/pub/prolog/
  120. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/mac_pl/
  121.  
  122. Old versions:
  123. ftp://aisun1.ai.uga.edu/pub/prolog/                                   
  124.  
  125.  
  126.   
  127.                                                4. Tricia Prolog 
  128.  
  129. Etymology: see *
  130.  
  131. MAC NAME:  Tricia                                     
  132.  
  133. VERSION: 0.9.5a31                                 
  134.  
  135. README: -
  136.  
  137. AUTHORS:
  138. Jonas Barklund
  139. Monika Danielsson
  140. Jan Gabrielsson
  141. Per Mildner
  142. Per-Eric Olsson
  143. Jan Wuensche
  144.     
  145. COPYRIGHT:
  146. (c)  1989 - 1993  Computing Science Dept.
  147. Uppsala University, Uppsala,Sweden 
  148.  
  149. INTERNET SITES:
  150. ftp://ftp.csd.uu.se/pub/Tricia/Mac/
  151. Info-Mac
  152.  
  153. Old versions:
  154. ftp://ftp.csd.uu.se/pub/Tricia/Mac/                                         ftp://ftp.csd.uu.se/pub/Tricia/Mac/older/
  155. ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/
  156. ftp://ftp.uni-paderborn.de/mac/development/languages/
  157. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v095/
  158. http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v09b/
  159. ftp://archives.math.utk.edu/software/mac/progLanguages/UPMAIL_Prolog_0.9b/
  160. ftp://archives.math.utk.edu/software/mac/logic/UPMAIL_Prolog_0.9b/                               
  161.  
  162.  
  163. *
  164. Date: Wed, 28 Jun 1995 09:35:26 +0200
  165. To: "Antreas P. Hatzipolakis" <xpolakis@athena.compulink.gr>
  166. From: Per.Mildner@CSD.UU.SE (Per Mildner)
  167.  
  168. >I have a question about the name:
  169. >What is the etymology of TRICIA?
  170. It is from the book The Hitchhikers Guide (Tricia has been known as MacMillan as well).
  171.  
  172. >By the way the same question about a swedish  prog. language:
  173. >Kvikkalkul.
  174. I do not know, but kvik sounds like kvick which means fast/speedy and of course kalkul sound like kalkyl which is the same as calculus.
  175.  
  176. Per Mildner                      Per.Mildner@CSD.UU.SE
  177. Computing Science Dept.          http://www.csd.uu.se/~perm/
  178. Uppsala University               tel: +46 18 181049
  179. Box 311, S-751 05 Uppsala,Sweden fax: +46 18 511925
  180.  
  181.